منابع مشابه
Combinatorics of the Sonnet
Using a definition of a sonnet, the number of basic rhyming schemes is enumerated. This is then used to discuss the 86 sonnets which appear in John Clare’s The Rural Muse.
متن کاملAtelier sur la conception des réseaux
9h15-10h15 : BERNARD FORTZ Département d’informatique, Université libre de Bruxelles, Belgique MODELS FOR TRAFFIC ENGINEERING IN ETHERNET NETWORKS IMPLEMENTING THE MULTIPLE SPANNING TREE PROTOCOL The Multiple Spanning Tree Protocol (MTSP) maintains a set of spanning trees that are used for routing the demands in the network. Each spanning tree is allocated to a pre-defined set of demands. We pr...
متن کاملSonNet: A Code Interface for Sonifying Computer Network Data
As any computer user employs the Internet to accomplish everyday activities, a flow of data packets moves across the network, forming their own patterns in response to his or her actions. Artists and sound designers who are interested in accessing that data to make music must currently possess low-level knowledge of Internet protocols and spend significant effort working with low-level networki...
متن کاملDischarging Proof Obligations from Atelier B Using Multiple Automated Provers
We present a method to discharge proof obligations from Atelier B using multiple SMT solvers. It is based on a faithful modeling of B's set theory into polymorphic rst-order logic. We report on two case studies demonstrating a signi cant improvement in the ratio of obligations that are automatically discharged.
متن کاملDB-Main: un atelier d'ingénierie de bases de données
Les AGL (ou outils CASE) tant en conception qu'en rétro-ingénierie proposent trop souvent des solutions partielles aux problèmes d'ingénierie des bases de données. L'adoption d'hypothèses de travail trop simplistes, l'ignorance de critères non fonctionnels tels que l'optimisation, le manque de souplesse dans l'approche imposée par l'outil (transformation d'un schéma conceptuel en code sans raff...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Clio
سال: 2009
ISSN: 1252-7017,1777-5299
DOI: 10.4000/clio.9316